Философский энциклопедический словарь - гедель курт (1906—78)
Связанные словари
Гедель курт (1906—78)
гедель курт (1906—78)
—австр. математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат, полученный Г., состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровергаемы. Этот результат Г. вызвал интенсивное исследование ограниченностей формальных систем (работы А. Черча, С. Клини, Тарского, А. Мостовского, П. Новикова и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. Г. принадлежат также важные результаты в теории моделей (теорема о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. В своих философских воззрениях Г. испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2506 | |
2 | 2322 | |
3 | 1991 | |
4 | 1977 | |
5 | 1928 | |
6 | 1830 | |
7 | 1725 | |
8 | 1660 | |
9 | 1641 | |
10 | 1508 | |
11 | 1426 | |
12 | 1390 | |
13 | 1383 | |
14 | 1380 | |
15 | 1251 | |
16 | 1073 | |
17 | 1064 | |
18 | 1060 | |
19 | 1036 | |
20 | 964 |